Collaborative models for autonomous systems controller synthesis
نویسندگان
چکیده
منابع مشابه
Collaborative Dialogue for Controlling Autonomous Systems
We claim that a natural dialogue interface to a semiautonomous intelligent agent has important advantages, especially when operating in real-time complex dynamic environments involving multiple concurrent tasks and activities. We discuss some of the requirements of such a dialogue interface, and describe some of the features of a working system built at CSLI, focusing on the data-structures and...
متن کاملTemplate-Based Controller Synthesis for Timed Systems
We present an effective controller synthesis method for realtime systems modeled as timed automata with safety requirements. Under the realistic assumption of partial observability, the problem is undecidable in general, and prohibitively expensive (2ExpTime-complete) if a bound on the granularity of the controller is set in advance. We investigate the synthesis of controllers from templates, g...
متن کاملTools for Controller Synthesis of Timed Systems
Verification is the problem of checking whether the behavior of a closed system satisfies a given property. The system is closed in the sense that its behavior is fully specified. Synthesis is the problem of finding a way to “close” an open system, so that the behavior of the closed system satisfies a given property. The system is open in the sense that its behavior is under-specified: it can b...
متن کاملPermissive Controller Synthesis for Probabilistic Systems
We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to, for example, unreliable sensors or faulty system components. Our aim is to generate robust controllers that are resilient to unexpected system ...
متن کاملOn Controller Synthesis for Nonlinear Hybrid Systems’
We present a methodology for synthesizing controllers for hybrid systems to satisfy safety specifications. Motivated by an application to conflict resolution for aircraft, we present a conceptual algorithm that extends game theoretic methodologies developed for controller synthesis for finite automata and continuous systems to the hybrid setting. We conclude with a brief discussion of computati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2020
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-020-00508-1